$\forall$$p$:FinProbSpace, $n$:$\mathbb{N}$, $X$, $Y$:RandomVariable($p$;$n$).
\\[0ex]E($n$;($x$.$x$ $\ast$ $x$) o $X$ + $Y$)
\\[0ex]=
\\[0ex]((E($n$;($x$.$x$ $\ast$ $x$) o $X$) + (2 $\ast$ E($n$;$X$ $\ast$ $Y$))) + E($n$;($x$.$x$ $\ast$ $x$) o $Y$))
\\[0ex]$\in$ $\mathbb{Q}$